Ugo Montanari: in Z-Library suchen

Ihr Zugang zu Kenntnissen und Kultur.

Don't use scam websites

Angewendete Filter

Genaue Übereinstimmung

Genaue Übereinstimmung

Bücher (27)
Meistgefragt
Liste
- Liste
- Tabelle

1

Models of Computation

Models of Computation

Springer International Publishing

Roberto Bruni, Ugo Montanari (auth.)

Jahr:

2017

Sprache:

english

Datei:

PDF, 3.49 MB

0 / 0

english, 2017

2

Models of Computation

Models of Computation

Roberto Bruni, Ugo Montanari

Jahr:

2017

Sprache:

english

Datei:

PDF, 1.80 MB

0 / 0

english, 2017

3

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Ugo Montanari, José D. P. Rolim, Emo Welzl (eds.)

Jahr:

2000

Sprache:

english

Datei:

PDF, 7.15 MB

0 / 0

english, 2000

4

Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

Arend Rensink (auth.), Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg (eds.)

Jahr:

2006

Sprache:

english

Datei:

PDF, 8.12 MB

0 / 0

english, 2006

5

TAPSOFT '87: Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

TAPSOFT '87: Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

Springer-Verlag Berlin Heidelberg

Ingo Wegener (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.)

Jahr:

1987

Sprache:

english

Datei:

PDF, 16.10 MB

0 / 0

english, 1987

6

Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto (auth.), Vladimiro Sassone (eds.)

Jahr:

2005

Sprache:

english

Datei:

PDF, 4.38 MB

0 / 0

english, 2005

7

Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

S. L. Bloom, Z. Ésik (auth.), Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)

Jahr:

2007

Sprache:

english

Datei:

PDF, 4.46 MB

0 / 0

english, 2007

8

Models of Computation

Models of Computation

Roberto Bruni, Ugo Montanari

Jahr:

2017

Sprache:

english

Datei:

PDF, 2.69 MB

0 / 0

english, 2017

9

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.)

Jahr:

2009

Sprache:

english

Datei:

PDF, 4.61 MB

0 / 0

english, 2009

10

Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto (auth.), Vladimiro Sassone (eds.)

Jahr:

2005

Sprache:

english

Datei:

PDF, 4.39 MB

0 / 0

english, 2005

11

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Ugo Montanari, José D. P. Rolim, Emo Welzl (eds.)

Jahr:

2000

Sprache:

english

Datei:

PDF, 12.39 MB

0 / 0

english, 2000

12

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)

Jahr:

2005

Sprache:

english

Datei:

PDF, 3.76 MB

0 / 0

english, 2005

13

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.)

Jahr:

2009

Sprache:

english

Datei:

PDF, 4.56 MB

0 / 0

english, 2009

14

Models of Computation

Models of Computation

Roberto Bruni, Ugo Montanari

Jahr:

2017

Sprache:

english

Datei:

PDF, 2.03 MB

0 / 0

english, 2017

15

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Paolo Baldan, Andrea Corradini (auth.), Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (eds.)

Jahr:

2005

Sprache:

english

Datei:

PDF, 5.14 MB

0 / 5.0

english, 2005

16

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)

Jahr:

2005

Sprache:

english

Datei:

PDF, 2.88 MB

0 / 0

english, 2005

17

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

Springer-Verlag Berlin Heidelberg

Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.)

Jahr:

1982

Sprache:

english

Datei:

DJVU, 3.78 MB

0 / 0

english, 1982

18

Principles and Practice of Constraint Programming — CP '95: First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

Principles and Practice of Constraint Programming — CP '95: First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Farid Ajili (auth.), Ugo Montanari, Francesca Rossi (eds.)

Jahr:

1995

Sprache:

english

Datei:

DJVU, 6.16 MB

0 / 0

english, 1995

19

Foundations of Information Technology in the Era of Network and Mobile Computing: IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada

Foundations of Information Technology in the Era of Network and Mobile Computing: IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada

Jozef Gruska, Hiroshi Imai, Keiji Matsumoto (auth.), Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro (eds.)

Jahr:

2002

Sprache:

english

Datei:

PDF, 27.42 MB

0 / 0

english, 2002

20

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Paolo Baldan, Andrea Corradini (auth.), Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (eds.)

Jahr:

2005

Sprache:

english

Datei:

PDF, 4.30 MB

0 / 0

english, 2005

21

Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

S. L. Bloom, Z. Ésik (auth.), Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)

Jahr:

2007

Sprache:

english

Datei:

PDF, 5.21 MB

0 / 0

english, 2007

22

Principles and Practice of Constraint Programming — CP '95: First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

Principles and Practice of Constraint Programming — CP '95: First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Farid Ajili (auth.), Ugo Montanari, Francesca Rossi (eds.)

Jahr:

1995

Sprache:

english

Datei:

PDF, 11.24 MB

0 / 0

english, 1995

23

System Development and Ada: CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings

System Development and Ada: CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings

Springer-Verlag Berlin Heidelberg

James E. Archer Jr. (auth.), A. Nico Habermann, Ugo Montanari (eds.)

Jahr:

1987

Sprache:

english

Datei:

DJVU, 3.08 MB

0 / 0

english, 1987

24

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

Springer-Verlag Berlin Heidelberg

Joseph A. Goguen, José Meseguer (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.)

Jahr:

1987

Sprache:

english

Datei:

DJVU, 3.99 MB

0 / 0

english, 1987

25

Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Christos Kaklamanis (auth.), Ugo Montanari, Donald Sannella, Roberto Bruni (eds.)

Jahr:

2007

Sprache:

english

Datei:

PDF, 3.47 MB

0 / 0

english, 2007

26

CONCUR '96: Concurrency Theory: 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings

CONCUR '96: Concurrency Theory: 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Ugo Montanari, Vladimiro Sassone (eds.)

Jahr:

1996

Sprache:

english

Datei:

DJVU, 6.19 MB

0 / 0

english, 1996

27

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

Springer-Verlag Berlin Heidelberg

Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.)

Jahr:

1982

Sprache:

english

Datei:

PDF, 9.68 MB

0 / 0

english, 1982